The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. Alur, Wojtczak, and Trivedi have shown that reachability problems for constant-rate multi-mode systems for open and convex safety sets can be solved in polynomial time. In this paper, we study the reachability problem for non-convex state spaces and show that this problem is in general undecidable. We recover decidability by making certain assumptions about the safety set. We present a new algorithm to solve this problem and compare its performance with the popular sampling based algorithm rapidly-exploring random tree (RRT) as implemented in the Open Motion Planning Library (OMPL).Comment: 26 page

The association of cold weather and all-cause and cause-specific mortality in the island of Ireland between 1984 and 2007

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.This article has been made available through the Brunel Open Access Publishing Fund.Background This study aimed to assess the relationship between cold temperature and daily mortality in the Republic of Ireland (ROI) and Northern Ireland (NI), and to explore any differences in the population responses between the two jurisdictions. Methods A time-stratified case-crossover approach was used to examine this relationship in two adult national populations, between 1984 and 2007. Daily mortality risk was examined in association with exposure to daily maximum temperatures on the same day and up to 6 weeks preceding death, during the winter (December-February) and cold period (October-March), using distributed lag models. Model stratification by age and gender assessed for modification of the cold weather-mortality relationship. Results In the ROI, the impact of cold weather in winter persisted up to 35 days, with a cumulative mortality increase for all-causes of 6.4% (95%CI=4.8%-7.9%) in relation to every 1oC drop in daily maximum temperature, similar increases for cardiovascular disease (CVD) and stroke, and twice as much for respiratory causes. In NI, these associations were less pronounced for CVD causes, and overall extended up to 28 days. Effects of cold weather on mortality increased with age in both jurisdictions, and some suggestive gender differences were observed. Conclusions The study findings indicated strong cold weather-mortality associations in the island of Ireland; these effects were less persistent, and for CVD mortality, smaller in NI than in the ROI. Together with suggestive differences in associations by age and gender between the two Irish jurisdictions, the findings suggest potential contribution of underlying societal differences, and require further exploration. The evidence provided here will hope to contribute to the current efforts to modify fuel policy and reduce winter mortality in Ireland

Routine testing for IgG antibodies against hepatitis A virus in Israel

BACKGROUND: Viral hepatitis is highly endemic in Israel, with the hepatitis A virus (HAV) responsible for most cases. Improved socioeconomic factors, as well as the universal vaccination of infants (introduced in 1999) has resulted in a decline in infection rates in Israel. This study examines the benefits of routine testing for anti-HAV IgG in high-risk population. METHODS: A retrospective examination of the files of teenage and adult patients (aged 16–99 years; mean 33.9) in two primary care clinics found 1,017 patients who had been tested for anti-HAV IgG antibodies for either general healthcare screening or ongoing follow-up for chronic illness. Seropositive patients were then asked regarding recall of past hepatitis (i.e. jaundice, regardless of viral etiology); post-exposure prophylaxis with immune serum immunoglobulin (ISG); and active immunization with inactivated virus. Seronegative patients were subsequently sent for active immunization. RESULTS: Of the1,017 patient records studied (503 male, 514 female), a total of 692 were seropositive (354 males, 338 females; P = 0.113). Seropositivity rates increased with age (p < 0.005), and were highest among those born in Middle Eastern countries other than Israel (91.3%) and lowest among immigrants from South America (44.1%; P < 0.005). 456 of the seropositive patients were interviewed, of whom only 91 recalled past illness while 103 remembered receiving post-exposure prophylaxis (ISG) and 8 active vaccination. Those who were unaware of past infection were more likely to have been vaccinated with ISG than those who were aware (26.3% vs. 7.7%; p < 0.005). CONCLUSION: The relatively high prevalence rate of anti-HAV seropositivity in our study may me due to the fact that the study was conducted in a primary care clinic or that it took place in Jerusalem, a relatively poor and densely populated Israeli city. Most of the seropostive patients had no recollection of prior infection, which can be explained by the fact that most hepatitis A infections occur during childhood and are asymptomatic. Routine testing for anti-HAV IgG in societies endemic for HAV would help prevent seropositive patients from receiving either post-exposure or preventive immunization and target seronegative patients for preventive vaccination

Value priorities and their relations with quality of life in the Baby Boomer generation of Lithuanian nurses: a cross-sectional survey

<p>Abstract</p> <p>Background</p> <p>The understanding of the values of nurses is especially important, since nurses constitute 80% of workforce in the healthcare system in Lithuania. In addition to that, nursing is one of the major constituents of healthcare. The aim of this study was to determine what values predominate in the cohort of Baby Boomer nurses, and to evaluate the relation of these values with quality of life using M. Rokeach's terminal and instrumental values scale. M.Rokeach distinguished terminal values (such as world peace, wisdom, and happiness), which are preferred end-states of existence, and instrumental values (such as responsibility and cooperation), which are preferred modes of conduct.</p> <p>Methods</p> <p>We performed a representative anonymous questionnaire-based inquiry of nurses working in regional hospitals of Lithuania. The nurses who participated in the study were distributed into four work cohorts: the Veterans, the Baby Boomers, the Generation Xers, and the Generation Nexters. The majority of the nurses belonged to the Baby Boomers and the Generation Xers cohorts. Since in Lithuania, like in the whole Europe, the representatives of the Baby Boomers generation are predominating among working people, we selected this cohort (N = 387) for the analysis. The survey data was processed using the SPSS statistical software package</p> <p>Results</p> <p>The main values in life were family security, tranquility, and a sense of accomplishment. However, such values as true friendship, equality, and pleasurable and leisured life were seen as rather insignificant. The most important instrumental values were honesty, skillfulness, and responsibility. Our study showed a statistically significant (albeit weak) correlation between the QOL and terminal values such as the sense of accomplishment, tranquility, equality, and pleasure, as well as the instrumental value – obedience. We detected a statistically significant relationship between good QOL and satisfaction with oneself, relationships with the surrounding people, and friends' support.</p> <p>Conclusion</p> <p>The findings of our study showed that, although Lithuania was under a totalitarian regime for 50 years, both the terminal and the instrumental values of the Baby Boomers generation are very similar to those of the same generation in other countries.</p

Medium-Term Exposure to Traffic-Related Air Pollution and Markers of Inflammation and Endothelial Function

Bac k g r o u n d: Exposure to traffic-related air pollution (TRAP) contributes to increased cardiovascular risk. Land-use regression models can improve exposure assessment for TRAP. Objectives: We examined the association between medium-term concentrations of black carbon (BC) estimated by land-use regression and levels of soluble intercellular adhesion molecule-1 (sICAM-1) and soluble vascular cell adhesion molecule-1 (sVCAM-1), both markers of inflammatory and endothelial response. Me t h o d s: We studied 642 elderly men participating in the Veterans Administration (VA) Normative Aging Study with repeated measurements of sICAM‑1 and sVCAM‑1 during 1999–2008. Daily estimates of BC exposure at each geocoded participant address were derived using a validated spatiotemporal model and averaged to form 4-, 8-, and 12-week exposures. We used linear mixed models to estimate associations, controlling for confounders. We examined effect modification by statin use, obesity, and diabetes. Re s u l t s: We found statistically significant positive associations between BC and sICAM‑1 for averages of 4, 8, and 12 weeks. An interquartile-range increase in 8-week BC exposure (0.30 μg/m3) was associated with a 1.58 % increase in sICAM‑1 (95 % confidence interval, 0.18–3.00%). Overall association

Dopaminergic Differentiation of Human Embryonic Stem Cells on PA6-Derived Adipocytes.

Human embryonic stem cells (hESCs) are a promising source for cell replacement therapies. Parkinson's disease is one of the candidate diseases for the cell replacement therapy since the motor manifestations of the disease are associated with the loss of dopaminergic neurons in the substantia nigra pars compacta. Stromal cell-derived inducing activity (SDIA) is the most commonly used method for the dopaminergic differentiation of hESCs. This chapter describes a simple, reliable, and scalable dopaminergic induction method of hESCs using PA6-derived adipocytes. Coculturing hESCs with PA6-derived adipocytes markedly reduces the variable outcomes among experiments. Moreover, the colony differentiation step of this method can also be used for the dopaminergic induction of mouse embryonic stem cells and NTERA2 cells as well

A retrospective observational study to determine baseline characteristics and early prescribing patterns for patients receiving Alirocumab in UK clinical practice

Background Alirocumab is a fully human monoclonal antibody to proprotein convertase subtilisin/kexin type 9 (PCSK9) and has been previously shown, in the phase III ODYSSEY clinical trial program, to provide significant lowering of lowdensity lipoprotein cholesterol (LDL-C) and reduction in risk of major adverse cardiovascular events. However, real-world evidence to date is limited. Objective The primary objective was to describe baseline characteristics, clinical history, and prior lipid-lowering therapy (LLT) use of patients initiated on alirocumab in UK clinical practice following publication of health technology appraisal (HTA) body recommendations. Secondary objectives included description of alirocumab use and lipid parameter outcomes over a 4-month follow-up period. Methods In this retrospective, single-arm, observational, multicenter study, data were collected for 150 patients initiated on alirocumab. Results Mean (standard deviation; SD) age of patients was 61.4 (10.5) years and baseline median (interquartile range; IQR) LDL-C level was 4.8 (4.2–5.8) mmol/l. Alirocumab use occurred predominantly in patients with heterozygous familial hypercholesterolemia (HeFH) (n = 100/150, 66%) and those with statin intolerance (n = 123/150, 82%). Most patients started on alirocumab 75 mg (n = 108/150 [72%]) and 35 (23.3%) were up-titrated to 150 mg. Clinically significant reductions in atherogenic lipid parameters were observed with alirocumab, including LDL-C (median [IQR] change from baseline, − 53.6% [− 62.9 to − 34.9], P < 0.001). Conclusion This study highlights the unmet need for additional LLT in patients with uncontrolled hyperlipidemia and demonstrates the clinical utility of alirocumab in early real-world practice, where dosing flexibility is an important attribute of this therapeutic option

Rough titanium alloys regulate osteoblast production of angiogenic factors

Multiple biomaterials are clinically available to spine surgeons for performing interbody fusion. Poly-ether-ether-ketone (PEEK) is used frequently for lumbar spine interbody fusion, but alternative materials are also used, including titanium (Ti) alloys. Previously, we showed that osteoblasts exhibit a more differentiated phenotype when grown on machined or grit-blasted titanium aluminum vanadium (Ti6Al4V) alloys with micron-scale roughened surfaces than when grown on smoother Ti6Al4V surfaces or on tissue culture polystyrene (TCPS). We hypothesized that osteoblasts cultured on rough Ti alloy substrates would present a more mature osteoblast phenotype than cells cultured on PEEK, suggesting that textured Ti6Al4V implants may provide a more osteogenic surface for interbody fusion devices. PURPOSE: The aim of the present study was to compare osteoblast response to smooth Ti6Al4V (sTiAlV) and roughened Ti6Al4V (rTiAlV) with their response to PEEK with respect to differentiation and production of factors associated with osteogenesis. STUDY DESIGN: This in vitro study compared the phenotype of human MG63 osteoblast-like cells cultured on PEEK, sTiAlV, or rTiAlV surfaces and their production of bone morphogenetic proteins (BMPs). METHODS: Surface properties of PEEK, sTiAlV, and rTiAlV discs were determined. Human MG63 cells were grown on TCPS and the discs. Confluent cultures were harvested, and cell number, alkaline phosphatase–specific activity, and osteocalcin were measured as indicators of osteoblast maturation. Expression of messenger RNA (mRNA) for BMP2 and BMP4 was measuredMultiple biomaterials are clinically available to spine surgeons for performing interbody fusion. Poly-ether-ether-ketone (PEEK) is used frequently for lumbar spine interbody fusion, but alternative materials are also used, including titanium (Ti) alloys. Previously, we showed that osteoblasts exhibit a more differentiated phenotype when grown on machined or grit-blasted titanium aluminum vanadium (Ti6Al4V) alloys with micron-scale roughened surfaces than when grown on smoother Ti6Al4V surfaces or on tissue culture polystyrene (TCPS). We hypothesized that osteoblasts cultured on rough Ti alloy substrates would present a more mature osteoblast phenotype than cells cultured on PEEK, suggesting that textured Ti6Al4V implants may provide a more osteogenic surface for interbody fusion devices. PURPOSE: The aim of the present study was to compare osteoblast response to smooth Ti6Al4V (sTiAlV) and roughened Ti6Al4V (rTiAlV) with their response to PEEK with respect to differentiation and production of factors associated with osteogenesis. STUDY DESIGN: This in vitro study compared the phenotype of human MG63 osteoblast-like cells cultured on PEEK, sTiAlV, or rTiAlV surfaces and their production of bone morphogenetic proteins (BMPs). METHODS: Surface properties of PEEK, sTiAlV, and rTiAlV discs were determined. Human MG63 cells were grown on TCPS and the discs. Confluent cultures were harvested, and cell number, alkaline phosphatase–specific activity, and osteocalcin were measured as indicators of osteoblast maturation. Expression of messenger RNA (mRNA) for BMP2 and BMP4 was measure